Timothy Bourke: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2016 Formal Methods in Computer-Aided Design (FMCAD) - Mountain View, CA, USA (2016.10.3-2016.10.6)] 2016 Formal Methods in Computer-Aided Design (FMCAD) - Soundness of the quasi-synchronous abstraction

Baudart, Guillaume, Bourke, Timothy, Pouzet, Marc

Year:

2016

Language:

english

File:

PDF, 213 KB

english, 2016

2

The In-Session and Long-Term Role of a Significant Other in Motivational Enhancement Therapy for Alcohol Use Disorders

Bourke, Emilie, Magill, Molly, Apodaca, Timothy R.

Journal:

Journal of Substance Abuse Treatment

Year:

2016

Language:

english

File:

PDF, 381 KB

english, 2016

3

[ACM Press the 21st International Workshop - Sankt Goar, Germany (2018.05.28-2018.05.30)] Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems - SCOPES '18 - Towards a verified Lustre compiler with modular reset

Bourke, Timothy, Brun, Lélio, Pouzet, Marc

Year:

2018

Language:

english

File:

PDF, 655 KB

english, 2018

4

Non-standard semantics of hybrid systems modelers

Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet

Journal:

Journal of Computer and System Sciences

Year:

2012

Language:

english

File:

PDF, 586 KB

english, 2012

5

Non-invasive ventilation in amyotrophic lateral sclerosis – Authors’ reply

Stephen C Bourke, Mark Tomlinson, Timothy L Williams, Robert E Bullock, Pamela J Shaw, G John Gibson

Journal:

The Lancet Neurology

Year:

2006

Language:

english

File:

PDF, 54 KB

english, 2006

6

Study protocol: a randomised controlled trial investigating the effect of exercise training on peripheral blood gene expression in patients with stable angina

Liam Bourke, Garry A Tew, Marta Milo, David C Crossman, John M Saxton, Timothy JA Chico

Journal:

BMC Public Health

Year:

2010

Language:

english

File:

PDF, 430 KB

english, 2010

7

Summary of the Second International Planetary Dunes Workshop: Planetary Analogs — Integrating Models, Remote Sensing, and Field Data, Alamosa, Colorado, USA, May 18–21, 2010

Lori K. Fenton, Mark A. Bishop, Mary C. Bourke, Charles S. Bristow, Rosalyn K. Hayward, Briony H. Horgan, Nicholas Lancaster, Timothy I. Michaels, Daniela Tirsch, Timothy N. Titus, Andrew Valdez

Journal:

Aeolian Research

Year:

2010

Language:

english

File:

PDF, 164 KB

english, 2010

8

Mars Global Digital Dune Database and initial science results

Hayward, Rosalyn K., Mullins, Kevin F., Fenton, Lori K., Hare, Trent M., Titus, Timothy N., Bourke, Mary C., Colaprete, Anthony, Christensen, Philip R.

Journal:

Journal of Geophysical Research

Year:

2007

Language:

english

File:

PDF, 806 KB

english, 2007

9

Priorities for Future Research on Planetary Dunes Planetary Dunes: Workshop: A Record of Climate Change; Alamogordo, New Mexico, 28 April to 2 May 2008

Titus, Timothy N., Lancaster, Nick, Hayward, Rose, Fenton, Lori, Bourke, Mary

Journal:

Eos Transactions American Geophysical Union

Year:

2008

Language:

english

File:

PDF, 70 KB

english, 2008

10

Interdisciplinary Research Produces Results in the Understanding of Planetary Dunes: Second International Planetary Dunes Workshop: Planetary Analogs-Integrating Models, Remote Sensing, and Field Data; Alamosa, Colorado, 18-21 May 2010

Titus, Timothy N., Hayward, Rosalyn Kay, Bourke, Mary C.

Journal:

Eos Transactions American Geophysical Union

Year:

2010

Language:

english

File:

PDF, 57 KB

english, 2010

11

Integrated Palliative Care of Respiratory Disease ||

Bourke, Stephen J., Peel, Edwin Timothy

Year:

2013

Language:

english

File:

PDF, 6.00 MB

english, 2013

12

Ring-Opening Polymerization Behavior of ansa - and Spirocyclic ansa -Zirconocene Complexes

Peckham, Timothy J., Nguyen, Paul, Bourke, Sara C., Wang, Qinyan, Harrison, Daryll G., Zoricak, Peter, Russell, Charles, Liable-Sands, Louise M., Rheingold, Arnold L., Lough, Alan J., Manners, Ian

Journal:

Organometallics

Year:

2001

Language:

english

File:

PDF, 159 KB

english, 2001

13

Bifidobacterium infantis 35624 modulates host inflammatory processes beyond the gut

Groeger, David, O’Mahony, Liam, Murphy, Eileen F., Bourke, John F., Dinan, Timothy G., Kiely, Barry, Shanahan, Fergus, Quigley, Eamonn M.M.

Journal:

Year:

2013

Language:

english

File:

PDF, 3.07 MB

english, 2013

14

[ACM Press the 6th ACM & IEEE International conference - Seoul, Korea (2006.10.22-2006.10.25)] Proceedings of the 6th ACM & IEEE International conference on Embedded software - EMSOFT '06 - A timing model for synchronous language implementations in simulink

Bourke, Timothy, Sowmya, Arcot

Year:

2006

Language:

english

File:

PDF, 249 KB

english, 2006

15

[ACM Press the 2011 SIGPLAN/SIGBED conference - Chicago, IL, USA (2011.04.11-2011.04.14)] Proceedings of the 2011 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems - LCTES '11 - Divide and recycle

Benveniste, Albert, Bourke, Timothy, Caillaud, Benoît, Pouzet, Marc

Year:

2011

Language:

english

File:

PDF, 664 KB

english, 2011

16

[ACM Press the ninth ACM international conference - Taipei, Taiwan (2011.10.09-2011.10.14)] Proceedings of the ninth ACM international conference on Embedded software - EMSOFT '11 - A hybrid synchronous language with hierarchical automata

Benveniste, Albert, Bourke, Timothy, Caillaud, Benoît, Pouzet, Marc

Year:

2011

Language:

english

File:

PDF, 681 KB

english, 2011

17

[ACM Press the 16th international conference - Philadelphia, Pennsylvania, USA (2013.04.08-2013.04.11)] Proceedings of the 16th international conference on Hybrid systems: computation and control - HSCC '13 - Zélus

Bourke, Timothy, Pouzet, Marc

Year:

2013

Language:

english

File:

PDF, 307 KB

english, 2013

18

[ACM Press the 17th international conference - Berlin, Germany (2014.04.15-2014.04.17)] Proceedings of the 17th international conference on Hybrid systems: computation and control - HSCC '14 - A type-based analysis of causality loops in hybrid systems modelers

Benveniste, Albert, Bourke, Timothy, Caillaud, Benoit, Pagano, Bruno, Pouzet, Marc

Year:

2014

Language:

english

File:

PDF, 641 KB

english, 2014

19

Analyzing an embedded sensor with timed automata in uppaal

Bourke, Timothy, Sowmya, Arcot

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2013

Language:

english

File:

PDF, 1.78 MB

english, 2013

20

Consumer Concerns in Country Australia: Access to goods, services and information

Bourke, Lisa, Lockard, Timothy, Reeve, John, Curthoys, Catherine

Journal:

Year:

2000

Language:

english

File:

PDF, 1.08 MB

english, 2000

21

Gene expression differences in relation to age and social environment in queen and worker bumble bees

Lockett, Gabrielle A., Almond, Edward J., Huggins, Timothy J., Parker, Joel D., Bourke, Andrew F.G.

Journal:

Experimental Gerontology

Year:

2016

Language:

english

File:

PDF, 602 KB

english, 2016

22

Present-day aeolian activity in Herschel Crater, Mars

Cardinale, Marco, Silvestro, Simone, Vaz, David A., Michaels, Timothy, Bourke, Mary C., Komatsu, Goro, Marinangeli, Lucia

Journal:

Year:

2016

Language:

english

File:

PDF, 4.87 MB

english, 2016

23

[IEEE 2015 International Conference on Embedded Software (EMSOFT) - Amsterdam, Netherlands (2015.10.4-2015.10.9)] 2015 International Conference on Embedded Software (EMSOFT) - Loosely time-triggered architectures: improvements and comparisons

Baudart, Guillaume, Benveniste, Albert, Bourke, Timothy

Year:

2015

Language:

english

File:

PDF, 934 KB

english, 2015

24

ROCK activity and the Gβγ complex mediate chemotactic migration of mouse bone marrow-derived stromal cells

Ryan, Caroline M., Brown, James A. L., Bourke, Emer, Prendergast, Áine M., Kavanagh, Claire, Liu, Zhonglin, Owens, Peter, Shaw, Georgina, Kolch, Walter, O’Brien, Timothy, Barry, Frank P.

Journal:

Stem Cell Research & Therapy

Year:

2015

Language:

english

File:

PDF, 3.59 MB

english, 2015

25

Mechanizing a Process Algebra for Network Protocols

Bourke, Timothy, van Glabbeek, Robert J., Höfner, Peter

Journal:

Journal of Automated Reasoning

Year:

2016

Language:

english

File:

PDF, 2.12 MB

english, 2016

26

The Spitzer c2d Survey of Nearby Dense Cores. I. First Direct Detection of the Embedded Source in IRAM 04191+1522

Dunham, Michael M., Evans II, Neal J., Bourke, Tyler L., Dullemond, Cornelis P., Young, Chadwick H., Brooke, Timothy Y., Chapman, Nicholas, Myers, Philip C., Porras, Alicia, Spiesman, William, Teuben,

Journal:

The Astrophysical Journal

Year:

2006

Language:

english

File:

PDF, 355 KB

english, 2006

27

The Spitzer c2d Survey of Nearby Dense Cores. IV. Revealing the Embedded Cluster in B59

Brooke, Timothy Y., Huard, Tracy L., Bourke, Tyler L., Boogert, A. C. Adwin, Allen, Lori E., Blake, Geoffrey A., Evans II, Neal J., Harvey, Paul M., Koerner, David W., Mundy, Lee G., Myers, Philip C.,

Journal:

The Astrophysical Journal

Year:

2007

Language:

english

File:

PDF, 788 KB

english, 2007

28

The Spitzer c2d Survey of Large, Nearby, Interstellar Clouds. I. Chamaeleon II Observed with MIPS

Young, Kaisa E., Harvey, Paul M., Brooke, Timothy Y., Chapman, Nicholas, Kauffmann, Jens, Bertoldi, Frank, Lai, Shih‐Ping, Alcala, Juan, Bourke, Tyler L., Spiesman, William, Allen, Lori E., Blake, Geo

Journal:

The Astrophysical Journal

Year:

2005

Language:

english

File:

PDF, 1.63 MB

english, 2005

29

Divide and recycle

Benveniste, Albert, Bourke, Timothy, Caillaud, Benoît, Pouzet, Marc

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 664 KB

english, 2012

30

The Spitzer c2d Survey of Nearby Dense Cores. II. Discovery of a Low-Luminosity Object in the "Evolved Starless Core" L1521F

Bourke, Tyler L., Myers, Philip C., Evans II, Neal J., Dunham, Michael M., Kauffmann, Jens, Shirley, Yancy L., Crapsi, Antonio, Young, Chadwick H., Huard, Tracy L., Brooke, Timothy Y., Chapman, Nichol

Journal:

The Astrophysical Journal

Year:

2006

Language:

english

File:

PDF, 646 KB

english, 2006

31

Population-Based Prevalence of Intellectual Disability and Autism Spectrum Disorders in Western Australia

Bourke, Jenny, de Klerk, Nick, Smith, Timothy, Leonard, Helen

Journal:

Medicine (Medicine Publishing Company Ltd)

Year:

2016

Language:

english

File:

PDF, 274 KB

english, 2016

32

The Spitzer c2d Survey of Nearby Dense Cores. III. Low‐Mass Star Formation in a Small Group, L1251B

Lee, Jeong‐Eun, Di Francesco, James, Lai, Shih‐Ping, Bourke, Tyler L., Evans II, Neal J., Spiesman, Bill, Myers, Philip C., Allen, Lori E., Brooke, Timothy Y., Porras, Alicia, Wahhaj, Zahed

Journal:

The Astrophysical Journal

Year:

2006

Language:

english

File:

PDF, 1007 KB

english, 2006

33

Loosely Time-Triggered Architectures

Baudart, Guillaume, Benveniste, Albert, Bourke, Timothy

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2016

Language:

english

File:

PDF, 1.54 MB

english, 2016

34

[ACM Press the 7th ACM international conference - Atlanta, GA, USA (2008.10.19-2008.10.24)] Proceedings of the 7th ACM international conference on Embedded software - EMSOFT '08 - Automatically transforming and relating Uppaal models of embedded systems

Bourke, Timothy, Sowmya, Arcot

Year:

2008

Language:

english

File:

PDF, 330 KB

english, 2008

35

Evolution of ageing, costs of reproduction and the fecundity–longevity trade-off in eusocial insects

Blacher, Pierre, Huggins, Timothy J., Bourke, Andrew F. G.

Journal:

Proceedings Biological Sciences

Year:

2017

Language:

english

File:

PDF, 585 KB

english, 2017

36

A type-based analysis of causality loops in hybrid systems modelers

Benveniste, Albert, Bourke, Timothy, Caillaud, Benoit, Pagano, Bruno, Pouzet, Marc

Journal:

Nonlinear Analysis Hybrid Systems

Year:

2017

Language:

english

File:

PDF, 1.04 MB

english, 2017

37

A Synchronous Look at the Simulink Standard Library

Bourke, Timothy, Carcenac, Francois, Colaço, Jean-Louis, Pagano, Bruno, Pasteur, Cédric, Pouzet, Marc

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2017

Language:

english

File:

PDF, 783 KB

english, 2017

38

[IEEE 2017 Forum on Specification and Design Languages (FDL) - Verona, Italy (2017.9.18-2017.9.20)] 2017 Forum on Specification and Design Languages (FDL) - Symbolic simulation of dataflow synchronous programs with timers

Baudart, Guillaume, Bourke, Timothy, Pouzet, Marc

Year:

2017

Language:

english

File:

PDF, 548 KB

english, 2017

39

[IEEE 2017 Forum on Specification and Design Languages (FDL) - Verona (2017.9.18-2017.9.20)] 2017 Forum on Specification and Design Languages (FDL) - Real-time ticks for synchronous programming

von Hanxleden, Reinhard, Bourke, Timothy, Girault, Alain

Year:

2017

Language:

english

File:

PDF, 184 KB

english, 2017

40

Building a Hybrid Systems Modeler on Synchronous Languages Principles

Benveniste, Albert, Bourke, Timothy, Caillaud, Benoit, Colaco, Jean-Louis, Pasteur, Cedric, Pouzet, Marc

Journal:

Proceedings of the IEEE

Year:

2018

Language:

english

File:

PDF, 1.91 MB

english, 2018

41

Walking together: a decolonising experiment in bushfire management on Dja Dja Wurrung country

Neale, Timothy, Carter, Rodney, Nelson, Trent, Bourke, Mick

Journal:

Cultural Geographies

Year:

2019

File:

PDF, 491 KB

2019

42

Queen Longevity and Fecundity Affect Conflict with Workers over Resource Inheritance in a Social Insect

Almond, Edward J., Huggins, Timothy J., Crowther, Liam P., Parker, Joel D., Bourke, Andrew F. G.

Journal:

American Naturalist

Year:

2018

File:

PDF, 921 KB

2018

43

Putting Country back together: a conversation about collaboration and Aboriginal fire management

Bourke, Mick, Atkinson, Amos, Neale, Timothy

Journal:

Postcolonial Studies / Culture, Politics, Economy

Year:

2020

File:

PDF, 799 KB

2020

44

Limited relationships between mangrove forest structure and hydro-edaphic conditions in subtropical Queensland, Australia

Hill, Jack W., Bourke, Lachlan A., Horton, Ciara M., Staples, Timothy L., Lovelock, Catherine E.

Journal:

Estuarine, Coastal and Shelf Science

Year:

2020

File:

PDF, 1.51 MB

2020